Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
Effect Handlers
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·17h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
github.com·7h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Claude.md: Best Practices for Optimizing with Prompt Learning
arize.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
AI and the ironies of automation - Part 1
ufried.com·2d
🔲Cellular Automata
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📄Text Chunking
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·14h
🔍Concolic Testing
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Typst for Your Code Blocks
lambdaland.org·3d
📟Terminal Typography
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·10h·
Discuss: Substack
🧠Query Planners
Flag this post
Developing an AI Strategy for Documentation
thisisimportant.net·1d·
Discuss: Hacker News
🤖AI Curation
Flag this post
The Zero-Bullshit Protocol™ – Hallucination-Proof AI Engineering System: FREE VERSION!
dev.to·1d·
Discuss: DEV
🏠Homelab Pentesting
Flag this post